Contents
- RuntimeEnv ( ActivityEnv Activity, CancellationTokenSource Source, CancellationToken Token, Encoding Encoding, MemoryConsole Console, MemoryFS FileSystem, TestTimeSpec TimeSpec, MemorySystemEnvironment SysEnv)
- RuntimeEnv ( ActivityEnv activity, CancellationTokenSource source, Encoding encoding, MemoryConsole console, MemoryFS fileSystem, TestTimeSpec? timeSpec, MemorySystemEnvironment sysEnv)
- LocalCancel
- Runtime
- env
- Env
- New (TestTimeSpec? timeSpec = default)
- New (ActivityEnv activity, TestTimeSpec? timeSpec = default)
- New (ActivityEnv activity, CancellationTokenSource source, TestTimeSpec? timeSpec = default)
- New (ActivityEnv activity, Encoding encoding, TestTimeSpec? timeSpec = default)
- New (ActivityEnv activity, Encoding encoding, CancellationTokenSource source, TestTimeSpec? timeSpec = default)
- LocalCancel
- CancellationToken
- CancellationTokenSource
- Encoding
- SetActivity (Activity? activity)
- CurrentActivity
- ActivitySourceEff
- ConsoleEff
- FileEff
- DirectoryEff
- TextReadEff
- TimeEff
- EnvironmentEff
record RuntimeEnv ( ActivityEnv Activity, CancellationTokenSource Source, CancellationToken Token, Encoding Encoding, MemoryConsole Console, MemoryFS FileSystem, TestTimeSpec TimeSpec, MemorySystemEnvironment SysEnv) Source #
Properties
property RuntimeEnv LocalCancel Source #
Constructors
constructor RuntimeEnv ( ActivityEnv activity, CancellationTokenSource source, Encoding encoding, MemoryConsole console, MemoryFS fileSystem, TestTimeSpec? timeSpec, MemorySystemEnvironment sysEnv) Source #
Test IO runtime
Properties
property Runtime LocalCancel Source #
Create a new Runtime with a fresh cancellation token
Used by localCancel to create new cancellation context for its sub-environment
Parameters
| returns | New runtime | |
property CancellationToken CancellationToken Source #
Direct access to cancellation token
property CancellationTokenSource CancellationTokenSource Source #
Directly access the cancellation token source
Parameters
| returns | CancellationTokenSource | |
property Activity? CurrentActivity Source #
Get the current activity
property Eff<Runtime, ActivitySourceIO> ActivitySourceEff Source #
Activity source environment
Parameters
| returns | Operating-system environment environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.ConsoleIO> ConsoleEff Source #
Access the console environment
Parameters
| returns | Console environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.FileIO> FileEff Source #
Access the file environment
Parameters
| returns | File environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.DirectoryIO> DirectoryEff Source #
Access the directory environment
Parameters
| returns | Directory environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.TextReadIO> TextReadEff Source #
Access the TextReader environment
Parameters
| returns | TextReader environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.TimeIO> TimeEff Source #
Access the time environment
Parameters
| returns | Time environment | |
property Eff<Runtime, LanguageExt.Sys.Traits.EnvironmentIO> EnvironmentEff Source #
Access the operating-system environment
Parameters
| returns | Operating-system environment environment | |
Methods
method Runtime New (TestTimeSpec? timeSpec = default) Source #
Constructor function
Parameters
| param | timeSpec | Defines how time works in the runtime |
method Runtime New (ActivityEnv activity, TestTimeSpec? timeSpec = default) Source #
Constructor function
Parameters
| param | activity | Tracing activity |
| param | timeSpec | Defines how time works in the runtime |
method Runtime New (ActivityEnv activity, CancellationTokenSource source, TestTimeSpec? timeSpec = default) Source #
Constructor function
Parameters
| param | activity | Tracing activity |
| param | source | Cancellation token source |
| param | timeSpec | Defines how time works in the runtime |
method Runtime New (ActivityEnv activity, Encoding encoding, TestTimeSpec? timeSpec = default) Source #
Constructor function
Parameters
| param | activity | Tracing activity |
| param | encoding | Text encoding |
| param | timeSpec | Defines how time works in the runtime |
method Runtime New (ActivityEnv activity, Encoding encoding, CancellationTokenSource source, TestTimeSpec? timeSpec = default) Source #
Constructor function
Parameters
| param | activity | Tracing activity |
| param | encoding | Text encoding |
| param | source | Cancellation token source |
| param | timeSpec | Defines how time works in the runtime |
method Runtime SetActivity (Activity? activity) Source #
Set the current activity and update the ParentId automatically
Parameters
| param | activity | Activity to set |
| returns | Updated runtime | |